7 research outputs found
International linkages among equities markets and the October 1987 market break
- Publication venue
- Publication date
- Field of study
Stock market ; Stock - Prices ; International finance ; International trade
Social Movements as Agents of Innovation: Citizen Journalism in South Korea
- Author
- Aderhold
- Carmen / Sirianni
- Chang
- Charles Tilly
- Chulhee Chung
- Dae-Yop Cho
- David A Snow
- Dorothy Kidd
- Doug / Mcadam
- Doug Mcadam
- Eun - Kim
- Giovanni Dosi
- Hans Joas
- Harmeet / Sawhney
- Hee - Cho
- Holger Braun-Th�rmann
- Jay / Rosen
- Jay Rosen
- Jeffrey C Alexander
- Jeffrey C Alexander
- Jeffrey C Alexander
- Jeffrey C Alexander
- Jeffrey C Alexander
- Johannes Weyer
- Johannes Weyer
- Joseph A Schumpeter
- Joseph A Schumpeter
- Joseph A Schumpeter
- Joseph A Schumpeter
- Joseph A Schumpeter
- Jupp / Asdonk
- J�rg Abel
- J�rgen / Gerhards
- Katrin Gillwald
- Kim
- Klaus Eder
- Kwang-Yeong Shin
- Mario Diani
- Mark Deuze
- Mascha Peters
- Max Miller
- Max Weber
- Max Weber
- Mayer N Zald
- Michael J Seth
- Nam-Dong Suh
- Niklas Luhmann
- Niklas Luhmann
- Paul M Sweezy
- Pierre Bourdieu
- Pierre Bourdieu
- Pierre Bourdieu
- Rainer Dormels
- Reiner Grundmann
- Renate Mayntz
- Richard R Nelson
- Richard Swedberg
- Robert A Hanneman
- Roger V Gould
- Roger V Gould
- Ronald S Burt
- Ronald S Burt
- Ronald S Burt
- Ruud Koopmans
- Sang-hui Nam
- Sara / Platon
- Shayne / Bowman
- Shmuel N Eisenstadt
- Sidney Tarrow
- Sidney Tarrow
- Thomas Kern
- Thomas Kern
- Thomas Kern
- Thomas Kern
- Thomas Kern
- Thomas Schwinn
- Uli / Kowol
- Uwe / Schimank
- Uwe Schimank
- Uwe Schimank
- Walter W Powell
- Wan - Han
- Werner Rammert
- William K Carroll
- Wolfgang Schluchter
- Yeon-Ho Oh
- Yeon-Ho Oh
- Publication venue
- 'Elsevier BV'
- Publication date
- 01/01/2008
- Field of study
Precision Medicine in the Treatment of Melanoma
- Author
- Adam C. Berger
- Ascierto
- Bittner
- Callahan
- Carvajal
- Carvajal
- Chapman
- Chapman
- Chapman
- Clark
- Dummer
- Dummer
- Eggermont
- Eggermont
- Gastman
- Gerami
- Gerami
- Guo
- Haqq
- Hauschild
- Hodi
- Hodi
- Hsueh
- Jaeger
- Johnson
- Johnson
- Joseph Bennett
- Kimberly Aderhold
- Kirkwood
- Larkin
- Larkin
- Long
- Maio
- Mauerer
- Melissa Wilson
- Muñoz-Couselo
- Onken
- Onken
- Onken
- Petrausch
- Postow
- Robert
- Robert
- Robert
- Robert
- Scatolini
- Shoshana Levi
- Smith
- Svedman
- Vetto
- Weber
- Weeraratna
- Winnepenninckx
- Wolchok
- Zager
- Publication venue
- 'Elsevier BV'
- Publication date
- Field of study
Distinction of the Asiatic brown rot fungus Monilia polystroma sp. nov. from M. fructigena
- Author
- Publication venue
- 'Cambridge University Press (CUP)'
- Publication date
- Field of study
Lemma Discovery for Induction: A Survey
- Author
- A Bundy
- A Bundy
- A Bundy
- A Ireland
- A Reynolds
- B Buchberger
- B Buchberger
- C Kaliszyk
- D Kapur
- J Heras
- JS Moore
- K Claessen
- K Claessen
- K Claessen
- Koen Claessen
- KRM Leino
- L Dixon
- M Aderhold
- M Johansson
- M Johansson
- M Johansson
- M Johansson
- M Kaufmann
- O Montano-Rivas
- R McCasland
- RL Constable
- ROBERT S. BOYER
- S Cruanes
- SH Einarsdóttir
- T Nipkow
- W Sonnex
- Y Nagashima
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/2019
- Field of study
Automating proofs by induction can be challenging, not least because proofs might need auxiliary lemmas, which themselves need to be proved by induction. In this paper we survey various techniques for automating the discovery of such lemmas, including both top-down techniques attempting to generate a lemma from an ongoing proof attempt, as well as bottom-up theory exploration techniques trying to construct interesting lemmas about available functions and datatypes, thus constructing a richer background theory
Literatur
- Author
- Hoffmann Bowers
- Hoffmann E. T. A.
- Hoffmann Freia
- Hoffmann Freia
- Hoffmann Freia
- Hoffmann Martin
- Hoffmann-Curtius
- Hofmann Werner
- Holdenried Michaela
- Holdenried Michaela
- Holl Hildemar
- Holland Dietmar
- Holmes Edward
- Holzner
- Hook Theodore Edward
- Hopfner Johanna
- Horkheimer
- Houben Eva-Maria
- Huebner Friedrich Markus
- Huf
- Hummel Nannerl
- Hummel W. A.
- Hutchings Arthur
- Höller Hans
- Hölszky Adriana
- Hölszky Adriana
- Immler Nicole Leandra
- Knispel
- Knispel
- Kocevar Erik
- Koch Gertrud
- Kocka
- Kocka Jürgen
- Kohli Martin
- Kohli Martin
- Kohli Martin
- Koja Stephan
- Kolb Annette
- Kollbrunner Jürg
- Koller
- Konrad Ulrich
- Konrad Ulrich
- Konrad Ulrich
- Konrad Ulrich
- Kovács Inge
- Kreutzer
- Kreutzer Hans Joachim
- Kreutziger-Herr
- Kreutziger-Herr Annette
- Kreutziger-Herr Annette
- Kreutziger-Herr Annette
- Kreutziger-Herr Annette
- Kreutziger-Herr Art
- Kreutziger-Herr Noeske
- Krieger Verena
- Kris
- Kristeller Paul O
- Krohn
- Krohn Claus-Dieter
- Krohn Rotermund
- Kroll Renate
- Krones Hartmut
- Krug Art
- Krüger
- Kube Aderhold
- Kuckertz
- Kundera Milan
- Kühn Dieter
- Kühn Dieter
- Kühnel Müller
- Le Beau
- Le Rider Jacques
- Lec
- Leckie Shirley A
- Leggewie Veronika
- Lehmann Jürgen
- Lein Edgar
- Leiner Wolfgang
- Lejeune Philippe
- Lemm-Mirschel Corinna
- Lenneberg Hans
- Lenneberg Hans
- Lentner W. A.
- Lenz
- Leonhart Mozart
- Lepenies Wolf
- Lepront Catherine
- Lesser Wendy
- Lessing Theodor
- Leupold Andrea
- Levallois Anne
- Levey Michael
- Levi Primo
- Liebi Roger
- Liliencron
- Lindner Thomas
- Maeterlinck Maurice
- Mahling Christoph-Hellmut
- Maier Hans
- Mainwaring John
- Mancal
- Mancal Josef
- Manguel Alberto
- Mann Alfred
- Marchl Sandra
- Marcus Laura
- Marian
- Marian Esther
- Markov Walter
- Marpurg
- Marquard
- Marshall Robert L
- Martin Biddy
- Marwyck
- Marx
- Marx
- Märker Michael
- Weiss Walter M
- Weisstein Ulrich
- Weissweiler Eva
- Weissweiler Eva
- Weiß Ulrich
- Welker Lorenz
- Welsch Wolfgang
- Welsch Wolfgang
- Welsch Wolfgang
- Welsh Renate
- Welzer Harald
- Welzer Harald
- Welzer Harald
- Welzer Moller
- Wendt Johann
- Wenk Silke
- Wenk Silke
- Werner-Jensen Arnold
- Werner-Jensen Arnold
- Wessely Harten
- Wessely Othmar
- White Hayden
- White Metahistory
- Wyzewa
- Yates W. E.
- Zanella Renato
- Zigman Peter
- Zilsel Edgar
- Zimmermann
- Zimmermann
- Zintzen Clemens
- Zohlen Gerwin
- Zuckmayer Carl
- Zweig Arnold
- Zweig Arnold
- Publication venue
- 'Boehlau Verlag Ges.m.b.H. & Co. KG'
- Publication date
- Field of study
Mapping the Various Meanings of Social Innovation: Towards a Differentiated Understanding of an Emerging Concept
- Author
- . V Unternehmensgr�n E
- : Berlin
- A B Chimezie
- Abu N M Wahid
- Adam Nichols
- Adrian
- Aldea-Partanen
- Alex Nicholls
- Alexander King
- Alfred S Eichner
- Amitai Etzioni
- Ander Gurrutxaga
- Anders
- Andrea Membretti
- Andreas
- Andreas
- Andreas Gessner
- Andrew Calabrese
- Andr�e Matteacciolli
- Anna J Wieczorek
- Anne Bruin
- Anne Posthuma
- Anon
- Anonymous
- Anonymous
- Anthony
- Antoni Sulek
- Arbeitsschutz Bundesanstalt F�r
- Aron Wiener
- Ash
- Bailey-Dempsey
- Barbara Coudenhove
- Barbara Klein
- Barraud-Didier
- Benjamin M Selekman
- Bernard
- Bernd
- Bernd Maelicke
- Bernd Maelicke
- Beth Anderson
- Boersema
- Braun-Th�rmann
- Brian D Loader
- Brian J L Berry
- Bruce
- Carl-G�ran Hed�n
- Charles
- Charles A Gardner
- Charles J Whalen
- Charles Sabel
- Christopher Freeman
- Chummer
- Claire Diaz-Ortiz
- Clara Shih
- Colin James
- Constance A Nathanson
- Cynthia G Wagner
- D C Washington
- Daniel J Svyantek
- Dave
- David
- David
- David J Phipps
- David L Cooperrider
- Denis
- Denis
- Denis Harrison
- Denis O Gray
- Dennis Morgan
- Dennis Nishi
- Design Week
- Detlef
- Di Martino
- Diana
- Diana
- Diane-Gabrielle Tremblay
- Dietrich
- Dietrich Englert
- Dominik Rueede
- Donald T Campbell
- E Yujuico
- Edgar C Mcvoy
- Eduardo
- Edward Pabon
- Egl? Butkevi?ien?
- Eleanor Shaw
- Enrico Taliani
- Eric Kacou
- Eric Nee
- Eric Nee
- Eric Nee
- Erik Swyngedouw
- Erik Swyngedouw
- Ernesto
- Etienne
- Eva
- Fassin
- Fernanda G Borger
- Fernando Fajnzylber
- Fiona
- Frances
- Frances Westley
- Frank
- Frank
- Frank
- Frank
- Frank
- Frank
- Frank J Barrett
- Frank Moulaert
- Frank Moulaert
- Frank Pot
- Fredrick B Pike
- Gabriele G�ttelmann-Durst
- Geoff
- Geoff Mulgan
- George
- George A Shipman
- George Hofheimer
- George Mckay
- George W Fairweather
- Gerd Schienstock
- Gerda R Wekerle
- Gerhard
- Gina Lovett
- Gina Lovett
- Gy�rgy Sz�ll
- H G Schneider
- Hanns C Menzel
- Hans Kl�pfer
- Hans-Werner Franz
- Hazel Henderson
- Heike
- Heiskala
- Helmut Martens
- Henry Winthrop
- Herbert Bergmann
- Hylan Lewis
- I A Spergel
- I V Bestuzhev-Lada
- I/O Hr
- Ida Regalia
- Imran
- Imran
- Ingo Bode
- Iris Kunze
- Irving Horowitz
- Iver Moeller
- J Dees
- J Gibson-Graham
- J R Bessant
- James A Phills
- James A Phills
- James A Phills
- James R Simms
- Jan - Vo�
- Jane Wei-Skillern
- Jannis Kallinikos
- Jason Saul
- Jason Saul
- Jean Pasquero
- Jean-Marc Fontan
- Jean-Pierre Collin
- Jeffrey A Goldstein
- Jeffrey Pfeffer
- Jem
- Jennifer Vilaga
- Jens Aderhold
- Jeremy Caplan
- Jim Collins
- Jim Schorr
- Joachim Matthes
- Johann Lefenda
- John
- Jonathan D Linton
- Jonathan Gershuny
- Jonathan I Gershuny
- Jorge Jover
- Jorge Niosi
- Josephine Green
- Jos� Antonio Cerezo
- Joyce Rothschild-Whitt
- Juan-Luis Klein
- Juan-Luis Klein
- Julia
- Julie
- J�rgen
- J�rgen
- J�rgen
- J�r�me Auriac
- Kanji
- Kanji Tanimoto
- Karel Muller
- Karel Williams
- Karin
- Kasturi V Rangan
- Kathrin Lurtz
- Katrin Gillwald
- Katrin Gillwald
- Ken
- Ken
- Ken M Kamoche
- Kerstin
- Klaus
- Klaus Echterhagen
- Knut Holt
- Kommunikationsforschung Stiftung F�r
- Kristen
- Le Ber
- Le Ber
- Loretta Fowler
- Lorne Huston
- Malcolm Warner
- Marcelo Vieta
- Margaret
- Maria Azua
- Maria Seitanidi
- Mariana Antohi
- Mark
- Mark Whitfield
- Marten J Witkamp
- Martin Rein
- Martin W Sandler
- Matthias M�ller
- Mayer N Zald
- Michael
- Michael D Gordon
- Michael Ornetzeder
- Michel
- Michele Jolin
- Michele Jolin
- Michele Tallard
- Miguel
- Nadia Auriat
- Nicola Cavalli
- Nicola Morelli
- Nistase Carmen
- Norbert Thom
- Otto Neuloh
- Otto Neuloh
- P M Hirsch
- P T Bolwijn
- Pasquale Muro
- Pasquale Murro
- Patrick
- Patrick
- Patrick Petit
- Patsy Healey
- Paul
- Paul
- Paul A David
- Paul Abels
- Paul Abels
- Paul Dobrescu
- Paul Drewe
- Paul Meadows
- Pavel
- Pelka
- Per Krull
- Per-Erik Ellstr�m
- Peter F Drucker
- Pia Gerber
- Priya Bala
- R A Levitas
- R D Norton
- Radha Gupta
- Rafael Ziegler
- Reynald Bourque
- Richard B Stewart
- Richard Varey
- Rick Wartzman
- Risto Heiskala
- Riva Poor
- Robert W Hetherington
- Robin
- Rolf G Heinze
- Rosabeth Kanter
- Roy G Mierop
- Roy Suddaby
- Rushanara
- Ruth Gro�ma�
- S Brinkman
- Samuel B Bacharach
- Sangeeta Parameshwar
- Sara
- Sara
- Sarah
- Satish Nambisan
- Scott S Cowen
- Sean
- Shanti K Khinduka
- Sigal Alon
- Sigrid
- Sigrun Schlick
- Sonja Novkovic
- Spd-Fraktion
- Stan Abraham
- Stan Abraham
- Stefan M Adam
- Steffen
- Stephan Kuhnert
- Stephen
- Stevan Dedijer
- Steven Lawry
- Stuart Conger
- St�phanie Schmidt
- Susan H Evans
- Suzie Boss
- Suzie Boss
- Sylvia
- Tania Ellis
- Tat &apos
- Theodore Noss
- Thomas
- Thomas S Kuhn
- Tim
- Tim Burke
- Timo Hamalainen
- Timo J Hamalainen
- Tina Broberg
- Tobias
- Tony Kinder
- Torie Osborn
- Tuomo Alasoini
- Ulrich
- Ulrich Adler
- Urs St�heli
- V V Bhatt
- Valeria
- Vanessa
- Verna
- W Scott
- Wendy Barnaby
- Werner Rammert
- Wolfgang Zapf
- Wolfgang Zapf
- Xiaolan
- Yehouda Sbenhav
- Young Foundation
- Yves Vaillancourt
- Publication venue
- 'Elsevier BV'
- Publication date
- 01/01/2012
- Field of study